- тип изоморфизма
- isomorphism type мат.
Русско-английский научно-технический словарь Масловского. 2015.
тип изоморфизма
Look at other dictionaries:
ГОМОТОПИЧЕСКИЙ ТИП — класс гомотопически эквивалентных топологич. пространств. Отображения и наз. взаимно обратными гомотопическими эквивалентностями, если и Если выполнено только первое из этих соотношений, то gназ. гомотопически мономорфным отображением, а f… … Математическая энциклопедия
ИЗОМОРФИЗМ ГЕТЕРОВАЛЕНТНЫЙ — замещение атомов и ионов разной валентности или эарядности. Типичными примерами являются Li Mg, К Ва, Na Са Y, А1 Si, Ti Nb(Ta), Mo Re и др. В большинстве случаев эти элементы в периодической системе Менделеева связаны законом диагонали. Иногда… … Геологическая энциклопедия
ЛИ ПОЛУПРОСТАЯ АЛГЕБРА — алгебра Ли, не имеющая ненулевых разрешимых идеалов (см. Ли разрешимая алгебра). В дальнейшем рассматриваются конечномерные Ли п. а. над полем kхарактеристики 0 (о Лн п. а. над полем ненулевой характеристики см. Ли алгебра). Полупростота… … Математическая энциклопедия
Изоморфизм в кристаллах — Понятие изоморфизм впервые введено в науку Э. Митчерлихом в 1819 г. Первоначально оно означало внешнее сходство кристаллической формы у веществ, родственных по химическому составу. Современное определение понятия изоморфизма может быть выражено… … Википедия
Изоморфизм (химия) — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. У этого термина существуют и другие значения, см. Изоморфизм (значения). Изморфизм … Википедия
Соответствие Карри — Соответствие Карри Ховарда (изоморфизм Карри Ховарда, англ. formulae as types interpretation) наблюдаемая структурная эквивалентность между математическими доказательствами и программами. Эта эквивалентность может быть… … Википедия
ЛИ ГРУППА — группа G, обладающая такой структурой аналитического многообразия, что отображение прямого произведения в Gана литично. Другими словами, Ли г. это множество, наделенное согласованными структурами группы и аналитич. многообразия. Ли г. наз.… … Математическая энциклопедия
Модель — I Модель (Model) Вальтер (24.1.1891, Гентин, Восточная Пруссия, 21.4.1945, близ Дуйсбурга), немецко фашистский генерал фельдмаршал (1944). В армии с 1909, участвовал в 1 й мировой войне 1914 18. С ноября 1940 командовал 3 й танковой… … Большая советская энциклопедия
МОДЕЛЬ — (франц. modele, от лат. modulus мера, образец, норма), в логике и методологии науки аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально теоретич.… … Философская энциклопедия
ЭРГОДИЧЕСКАЯ ТЕОРИЯ — Введение Э. т. (метрическая теория динамических систем) раздел теории динамических систем, изучающий их статистич. свойства. Возникновение Э. т. (1 я треть 20 в.) было стимулировано попытками доказать эргодическую гипотезу (термин введён П. и Т.… … Физическая энциклопедия
Модель (в науке) — Модель (франц. modèle, итал. modello, от лат. modulus мера, мерило, образец, норма), 1) образец, служащий эталоном (стандартом) для серийного ли массового воспроизведения (М. автомобиля, М. одежды и т. п.), а также тип , марка какого либо… … Большая советская энциклопедия
